type #Range protected {
    a: Integer,
    b: Integer
};

